GdkWin32: Set the "gtk-hint-font-metrics" property
authorLuca Bacci <luca.bacci982@gmail.com>
Fri, 4 Nov 2022 14:59:15 +0000 (15:59 +0100)
committerLuca Bacci <luca.bacci982@gmail.com>
Fri, 4 Nov 2022 15:03:11 +0000 (16:03 +0100)
commit1506de5669853be62dbc10b992679aea84e14ac8
tree27fc77d46f980feca0cefb2c0ce4efb812bf5a12
parent41f9f1d623a5dab3cf1eacbff41a3c9176ecd60e
GdkWin32: Set the "gtk-hint-font-metrics" property

Helps for https://gitlab.gnome.org/GNOME/gtk/-/issues/5257
gdk/win32/gdkproperty-win32.c